منابع مشابه
Gluing Together Software Components How Good is Your Glue
We have investigated an assessment technique for studying the failure tolerance of large scale component based information systems Our technique assesses the propagation of information through the interfaces between objects in order to predict how software will behave when cor rupt information gets passed Our approach is applicable to both source code and executable commercial o the shelf COTS ...
متن کاملThe mitochondrial respiratory chain.
In the present chapter, the structures and mechanisms of the major components of mammalian mitochondrial respiratory chains are reviewed. Particular emphasis is placed on the four protein complexes and their cofactors that catalyse the electron transfer pathway between oxidation of NADH and succinate and the reduction of oxygen to water. Current ideas are reviewed of how these electron transfer...
متن کاملGluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks
We present two extensions of the LF Constructive Type Theory featuring monadic locks. A lock is a monadic type construct that captures the effect of an external call to an oracle. Such calls are the basic tool for gluing together diverse Type Theories and proof development environments. The oracle can be invoked either to check that a constraint holds or to provide a suitable witness. The syste...
متن کاملIs it reasonable to split sand grains before gluing them together ? Pierre
This lecture is connected with a pioneering work of . Jean and P. Breitkopf on the use of the parallel computing for the granular dynamics [1]. The chosen parallel strategy is similar to a Domain Decomposition Method (DDM), even if the substructuring procedure is more modestly called a ”box method” and does not refer explicitly to a DDM. The Domain Decomposition methods in the context of multip...
متن کاملThe Aerobic Mitochondrial Respiratory Chain
INTRODUCTION Fumarate reductase (FRD) catalyses the reduction of fumarate to succinate and is a key enzyme for the anaerobic functioning of many organisms respiring with fumarate as terminal electron acceptor. The ability to reduce fumarate is a common property among Gram-negative bacteria and some facultative anaerobic Gram-positive bacteria. The reduction of fumarate is also important in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Biological Chemistry
سال: 2002
ISSN: 0021-9258
DOI: 10.1074/jbc.c200551200